On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Proof theory
• Logic
• Mathematical logic
• Mathematics
• Computability theory
• Primitive recursive functional
• Dialectica interpretation
• Combinatory logic
• Continuous function

2 Master of Science in Applied Mathematics and Computational Science APPLIED MATHEMATICS & COMPUTATIONAL SCIENCE The Master in Applied Mathematics &

Source URL: www.mcs.usi.ch

• Academia
• Computational science
• Applied mathematics
• Computational mechanics
• Mechanics
• University of Lugano
• Informatics
• Mathematical optimization
• Computer science
• Computational biology
• Numerical analysis
• Computational mathematics

Communications in Applied Mathematics and Computational Science ENSEMBLE SAMPLERS WITH AFFINE

Source URL: msp.org

2 Master of Science in Computational Science COMPUTATIONAL SCIENCE Computational Science –

Source URL: www.mcs.usi.ch

• Computational science
• Academia
• Calculus
• Mathematical analysis
• Computational mechanics
• Differential equation
• Numerical analysis
• Partial differential equation
• University of Lugano
• Mathematical optimization
• Applied mathematics
• Computational mathematics

Closing the Gap Between Short and Long XORs for Model Counting Shengjia Zhao Sorathan Chaturapruek Computer Science Department Computer Science Department

Source URL: ai2-website.s3.amazonaws.com

• Computational complexity theory
• Convex optimization
• Probability
• Mathematics
• Coding theory
• Error detection and correction
• Low-density parity-check code
• PP
• Bayesian network
• Linear programming

Emergency connectivity in ad-hoc networks with selfish nodes George Karakostas1,2,? and Euripides Markou2,?? 1 Department of Computing & Software. School of Computational Engineering & Science.

Source URL: www.cas.mcmaster.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Network flow
• Flow network
• Operations research
• Nash equilibrium
• Flow
• Price of anarchy
• FordFulkerson algorithm

Topmoumoute online natural gradient algorithm Nicolas Le Roux University of Montreal Pierre-Antoine Manzagol

Source URL: nicolas.le-roux.name

• Mathematics
• Numerical analysis
• Algebra
• Computational statistics
• Stochastic optimization
• Linear filters
• Numerical linear algebra
• Convex optimization
• Stochastic gradient descent
• Gradient descent
• Artificial neural network
• Mathematical optimization

1 Incremental Topological Segmentation for Semi-structured Environments Ming Liu, Luc Oth, Francis Colas, Franc¸ois Pomerleau, Roland Siegwart Autonomous Systems Lab, ETH Zurich, Switzerland

Source URL: www.ee.ust.hk

• Diagrams
• Discrete geometry
• Geometry
• Computational geometry
• Voronoi diagram
• Mathematics
• Computer science
• Data mining
• Image segmentation
• Cluster analysis
• K-means clustering
• Watershed

What makes computational open source software libraries successful? Wolfgang Bangerth Department of Mathematics, Texas A&M University, College Station, TX, USA.

Source URL: www.math.clemson.edu

Dustin E. Stansbury, PhD | dustinstansbury.net | theclevermachine.wordpress.com | (Profile Data scientist with strong quantitative background and experience in music retrieval, an

Source URL: dustinstansbury.net

• Cybernetics
• Applied mathematics
• Data analysis
• Business intelligence
• Cognitive science
• Computational neuroscience
• Deep learning
• Machine learning
• Predictive analytics
• Artificial neural network
• Analytics
• Comparison of deep learning software/Resources